$\forall$${\it es}$:event\_system\{i:l\}. es{-}oaxioms(${\it es}$) $\in$ EOrderAxioms(es{-}E(${\it es}$);es{-}pred?(${\it es}$);es\_info(${\it es}$))